BIT manuscript No. (will be inserted by the editor) Computing predecessor and successor in rounding to nearest Siegfried M. Rump · Paul Zimmermann · Sylvie Boldo · Guillaume Melquiond

Source URL: www.lri.fr

• Finite model theory
• Mathematics
• Category theory
• Universal property
• FO
• Rounding
• Abstraction

Evaluability Assessment: a systematic approach to deciding whether and how to evaluate programmes and policies Peter Craig and Mhairi Campbell What Works Scotland (WWS) aims to improve the way local areas in Scotland u

Source URL: whatworksscotland.ac.uk

• Evaluation
• Evaluation methods
• Evaluability assessment
• Methodology
• Theory of change
• Analysis
• Logic model
• Impact assessment
• Political science
• Impact evaluation
• Program evaluation

Expected Consumption Growth Across Countries:

Source URL: www.ssc.wisc.edu

• Economy
• Economics
• Consumer theory
• Inflation
• Monetary policy
• Elasticity of intertemporal substitution
• Economic growth
• Real interest rate
• Real versus nominal value
• Random walk model of consumption
• Interest rate
• Macroeconomics

Augmented sustainability measures for Scotland John C.V. Pezzey, Nick Hanley, Karen Turner and Dugald Tinch Australian National University Economics and Environment Network Working Paper

Source URL: een.anu.edu.au

• Economics
• Economy
• Valuation
• Inventory
• Stock and flow
• Systems theory
• Sustainability
• Depreciation
• Solow residual
• SolowSwan model

Hilbert Space Embeddings of Hidden Markov Models Le Song Byron Boots

Source URL: select.cs.cmu.edu

• Mathematical analysis
• Mathematics
• Algebra
• Estimation theory
• Hilbert space
• Operator theory
• Markov models
• Linear algebra
• Hidden Markov model
• Normal distribution
• Expectationmaximization algorithm
• Speech recognition

PUPT-1840 hep-thBaryons and Flux Tubes in Conning Gauge Theories from Brane Actions Curtis G. Callan, Jr.31, Alberto Guijosa2, 4

Source URL: arabica.ecs.soton.ac.uk

• Physics
• String theory
• Particle physics
• Theoretical physics
• Quantum field theory
• Physics beyond the Standard Model
• D-brane
• BornInfeld model
• Brane
• Quantum chromodynamics
• Quark
• Gauge theory

MONOIDAL DERIVATORS AND ADDITIVE DERIVATORS MORITZ GROTH Abstract. One aim of this paper is to develop some aspects of the theory of monoidal derivators. The passages from categories and model categories to derivators bo

Source URL: www.math.ru.nl

Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud

Source URL: www.cs.ru.nl

• Constructivism
• Structure
• Mathematics
• Type theory
• Logic
• Constructive proof
• Axiom of choice
• Topos
• Mathematical logic
• Model theory
• Topology

J. Math. Biol:367–397 DOIs00285x Mathematical Biology The reconstructed tree in the lineage-based model

Source URL: www.biologie.ens.fr

• Evolutionary biology
• Ecology
• Phylogenetics
• Evolution
• Coalescent theory
• Phylogenetic tree
• Ecological speciation
• Speciation
• Extinction
• Species

! Revised Tuesday, December 8, 2015! 1

Source URL: kiwi.atmos.colostate.edu

• Model theory
• Stable theory
• Large cardinals
• Heat transfer
• Mathematics
• Abstraction